Optimal. Leaf size=289 \[ \frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{2160 e \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^6 d}+\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{1080 e \sqrt [3]{c+d x} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^5 d}+\frac{2160 e \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^7 d \sqrt [3]{c+d x}}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.268518, antiderivative size = 289, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 4, integrand size = 27, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.148, Rules used = {3431, 15, 3296, 2638} \[ \frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{2160 e \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^6 d}+\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{1080 e \sqrt [3]{c+d x} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^5 d}+\frac{2160 e \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^7 d \sqrt [3]{c+d x}}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3431
Rule 15
Rule 3296
Rule 2638
Rubi steps
\begin{align*} \int (c e+d e x)^{4/3} \sin \left (a+b \sqrt [3]{c+d x}\right ) \, dx &=\frac{3 \operatorname{Subst}\left (\int x^2 \left (e x^3\right )^{4/3} \sin (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{d}\\ &=\frac{\left (3 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x^6 \sin (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{d \sqrt [3]{c+d x}}\\ &=-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}+\frac{\left (18 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x^5 \cos (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b d \sqrt [3]{c+d x}}\\ &=-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}-\frac{\left (90 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x^4 \sin (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b^2 d \sqrt [3]{c+d x}}\\ &=\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}-\frac{\left (360 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x^3 \cos (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b^3 d \sqrt [3]{c+d x}}\\ &=\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}+\frac{\left (1080 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x^2 \sin (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b^4 d \sqrt [3]{c+d x}}\\ &=-\frac{1080 e \sqrt [3]{c+d x} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^5 d}+\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}+\frac{\left (2160 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int x \cos (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b^5 d \sqrt [3]{c+d x}}\\ &=-\frac{1080 e \sqrt [3]{c+d x} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^5 d}+\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}+\frac{2160 e \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^6 d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}-\frac{\left (2160 e \sqrt [3]{e (c+d x)}\right ) \operatorname{Subst}\left (\int \sin (a+b x) \, dx,x,\sqrt [3]{c+d x}\right )}{b^6 d \sqrt [3]{c+d x}}\\ &=\frac{2160 e \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^7 d \sqrt [3]{c+d x}}-\frac{1080 e \sqrt [3]{c+d x} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^5 d}+\frac{90 e (c+d x) \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b^3 d}-\frac{3 e (c+d x)^{5/3} \sqrt [3]{e (c+d x)} \cos \left (a+b \sqrt [3]{c+d x}\right )}{b d}+\frac{2160 e \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^6 d}-\frac{360 e (c+d x)^{2/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^4 d}+\frac{18 e (c+d x)^{4/3} \sqrt [3]{e (c+d x)} \sin \left (a+b \sqrt [3]{c+d x}\right )}{b^2 d}\\ \end{align*}
Mathematica [A] time = 0.547398, size = 226, normalized size = 0.78 \[ \frac{3 (e (c+d x))^{4/3} \left (\sin \left (b \sqrt [3]{c+d x}\right ) \left (\sin (a) \left (b^6 (c+d x)^2-30 b^4 (c+d x)^{4/3}+360 b^2 (c+d x)^{2/3}-720\right )+6 b \cos (a) \left (b^4 (c+d x)^{5/3}-20 b^2 (c+d x)+120 \sqrt [3]{c+d x}\right )\right )-\cos \left (b \sqrt [3]{c+d x}\right ) \left (\cos (a) \left (b^6 (c+d x)^2-30 b^4 (c+d x)^{4/3}+360 b^2 (c+d x)^{2/3}-720\right )-6 b \sin (a) \left (b^4 (c+d x)^{5/3}-20 b^2 (c+d x)+120 \sqrt [3]{c+d x}\right )\right )\right )}{b^7 d (c+d x)^{4/3}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.04, size = 0, normalized size = 0. \begin{align*} \int \left ( dex+ce \right ) ^{{\frac{4}{3}}}\sin \left ( a+b\sqrt [3]{dx+c} \right ) \, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F(-2)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: IndexError} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 7.63023, size = 568, normalized size = 1.97 \begin{align*} \frac{3 \,{\left ({\left (30 \, b^{4} d^{2} e x^{2} + 60 \, b^{4} c d e x + 30 \, b^{4} c^{2} e -{\left (b^{6} d^{2} e x^{2} + 2 \, b^{6} c d e x +{\left (b^{6} c^{2} - 720\right )} e\right )}{\left (d x + c\right )}^{\frac{2}{3}} - 360 \,{\left (b^{2} d e x + b^{2} c e\right )}{\left (d x + c\right )}^{\frac{1}{3}}\right )}{\left (d e x + c e\right )}^{\frac{1}{3}} \cos \left ({\left (d x + c\right )}^{\frac{1}{3}} b + a\right ) + 6 \,{\left (120 \, b d e x + 120 \, b c e - 20 \,{\left (b^{3} d e x + b^{3} c e\right )}{\left (d x + c\right )}^{\frac{2}{3}} +{\left (b^{5} d^{2} e x^{2} + 2 \, b^{5} c d e x + b^{5} c^{2} e\right )}{\left (d x + c\right )}^{\frac{1}{3}}\right )}{\left (d e x + c e\right )}^{\frac{1}{3}} \sin \left ({\left (d x + c\right )}^{\frac{1}{3}} b + a\right )\right )}}{b^{7} d^{2} x + b^{7} c d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.25369, size = 594, normalized size = 2.06 \begin{align*} -\frac{3 \,{\left (c{\left (\frac{{\left ({\left (d x e + c e\right )} b^{3} e^{3} - 6 \,{\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{11}{3}}\right )} \cos \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right ) e^{\left (-\frac{8}{3}\right )}}{b^{4}} - \frac{3 \,{\left ({\left (d x e + c e\right )}^{\frac{2}{3}} b^{2} e^{\frac{10}{3}} - 2 \, e^{4}\right )} e^{\left (-\frac{8}{3}\right )} \sin \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right )}{b^{4}}\right )} -{\left ({\left (\frac{{\left ({\left (d x e + c e\right )} b^{3} c e^{3} - 6 \,{\left (d x e + c e\right )}^{\frac{1}{3}} b c e^{\frac{11}{3}}\right )} \cos \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right ) e^{\left (-\frac{8}{3}\right )}}{b^{4}} - \frac{3 \,{\left ({\left (d x e + c e\right )}^{\frac{2}{3}} b^{2} c e^{\frac{10}{3}} - 2 \, c e^{4}\right )} e^{\left (-\frac{8}{3}\right )} \sin \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right )}{b^{4}}\right )} e - \frac{{\left ({\left (d x e + c e\right )}^{2} b^{6} e^{5} - 30 \,{\left (d x e + c e\right )}^{\frac{4}{3}} b^{4} e^{\frac{17}{3}} + 360 \,{\left (d x e + c e\right )}^{\frac{2}{3}} b^{2} e^{\frac{19}{3}} - 720 \, e^{7}\right )} \cos \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right ) e^{\left (-\frac{14}{3}\right )}}{b^{7}} + \frac{6 \,{\left ({\left (d x e + c e\right )}^{\frac{5}{3}} b^{5} e^{\frac{16}{3}} - 20 \,{\left (d x e + c e\right )} b^{3} e^{6} + 120 \,{\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{20}{3}}\right )} e^{\left (-\frac{14}{3}\right )} \sin \left ({\left ({\left (d x e + c e\right )}^{\frac{1}{3}} b e^{\frac{2}{3}} + a e\right )} e^{\left (-1\right )}\right )}{b^{7}}\right )} e^{\left (-1\right )}\right )}}{d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]